Search Results
Andre Knispel's talk on Cedille inspired proof assistant
[3S2] Meta-Cedille (Andre Knispel)
[3S2] Andre Knispel, zero-knowledge proofsystems categorically
06 Growing a Proof Assistant
Nikolai Kudasov, Rzk proof assistant and simplicial HoTT formalization
Plan for Cedille 2
"Constructive Real Numbers in the Agda Proof Assistant", talk by Zach Murray at CQTS @ NYU Abu Dhabi
![[3S2] Meta-Cedille (Andre Knispel)](https://img.youtube.com/vi/QW37iWVSN5Y/hqdefault.jpg)
![[3S2] Andre Knispel, zero-knowledge proofsystems categorically](https://img.youtube.com/vi/WTtApoJEg4Y/hqdefault.jpg)
